ENTERING MAIN LOOP NOW.


VERBOSITY LEVEL  (0-10) ... 
10
 DO-THRESH REDUCED TO 1023
 MUST FIND NEW CANDS 
(ACTIVE-INST-E-SUGG compiling)
(ACTIVE-INST-E-SUGG (BA1 BA2 BA3) NIL)

GC: 1
 RUNNING AT 22254  LOAD AV. =   2.38, USED 0:03:59.7 IN 2:31:18
43, 4139 FREE WORDS
 RUNNING AT 6311  LOAD AV. =   3.04, USED 0:04:11.2 IN 2:32:21
(ANYB-EXS-E-SUGG compiling)
π
 *** INTEREST 1023, 204, NCANDS=1, CAND=(0 PRIN1 (QUOTE TAIL-MARK))
(ANYB-EXS-E-SUGG (BA1 BA2 BA3) NIL)
π
 *** NUMBER OF CANDS IS 1
(ANYB-EXS-BDY-E-SUGG compiling)
(ANYB-EXS-BDY-E-SUGG (BA1 BA2 BA3) NIL)
π
 *** BACKTRACING:
AM-BT
   (V1)
   ((V1))
MKSWAPP  ---NO ARGS
SELF-COMPILE
   (BP C AL)
   (ANYB-EXS-BDY-E-SUGG (APPEND (MAPCONC CONCEPTS (FUNCTION (LAMBDA (C) 
**(AND (NULL (GETB C (QUOTE EXS-BDY))) (LIST
(LIST (FIX (DOTPROD (LIST .3 .1 .1) (GETB C (QUOTE WORTH)))) (QUOTE FILL
**IN) C (QUOTE EXS-BDY)))))))) (BA1 BA2 BA3))
ANYB-EXS-BDY
   (BP BA1 BA2 BA3 BA4)
   (SUGG 204 NIL NIL NIL)
APPLYB
   (#0 BP BA1)
   (ANYB-EXS-BDY SUGG 204)
UNFORGETTABLE
   (B P I F ARG1)
   (ANYB-EXS-BDY NIL NIL NIL NIL)
FIND-NEW-CANDS  ---NO ARGS
PICK-CAND  ---NO ARGS
TLOOP  ---NO ARGS
START  ---NO ARGS

*** END OF BACKTRACE
 DO-THRESH REDUCED TO 682
 MUST FIND NEW CANDS 
NEW CAND = (760 FILLIN SET-STRUC EXS)
(ANYB-EXS-E-FILLIN1 compiling)
(ANYB-EXS-E-FILLIN1 (BA1 BA2 BA3 BA4) NIL)
 RUNNING AT 1571  LOAD AV. =   4.59, USED 0:04:27.4 IN 2:34:36
(CONSTRUCTIVE-E-DEFN compiling)
(CONSTRUCTIVE-E-DEFN (BA1 BA2 BA3) NIL)
(STRUCTURE-DELETE-E-INV compiling)
(STRUCTURE-DELETE-E-INV (BA1 BA2 BA3 BA4) NIL)
(STRUCTURE-MEMB-E-INV compiling)
(STRUCTURE-MEMB-E-INV (BA1 BA2 BA3 BA4) NIL)
(STRUCTURE-INSERT-E-ALGS compiling)
(STRUCTURE-INSERT-E-ALGS (BA1 BA2 BA3 BA4) NIL)
(STRUCTURE-E-DEFN compiling)
(STRUCTURE-E-DEFN (BA1 BA2 BA3) NIL)
(ANYB-ANYP-E-FILLIN1 compiling)
(ANYB-ANYP-E-FILLIN1 (BA1 BA2 BA3 BA4) NIL)
(STRUCTURE-EXS-E-FILLIN2 compiling)
(STRUCTURE-EXS-E-FILLIN2 (BA1 BA2 BA3 BA4) NIL)
(ANYB-EXS-E-FILLIN2 compiling)
(ANYB-EXS-E-FILLIN2 (BA1 BA2 BA3 BA4) (ORIG-EMP))
NEW CAND = (760 FILLIN SET-STRUC EXS) REPEATER CAND SKIPPED 
 DO-THRESH REDUCED TO 480
CAND {in PICK-CAND} -> AND ?  ...yes
u.b.a. RPLACINT {in PICK-CAND} in (AND RPLACINT (SETQ GTEMP1 &))
(RPLACINT broken)
:EDIT
in PICK-CAND...
(AND RPLACINT (SETQ GTEMP1 &))
edit
*PP
  (AND RPLACINT (SETQ GTEMP1 (IQUOTIENT (CINT CAND)
                                        6)))
*0 P
((RECENTLY-TRIED CAND) (CPRIN1 3 " REPEATER CAND SKIPPED " CRLF) (DE-THR
**ESH) (AND & &) (AND RPLACINT &) (COND & &) (GO
P1))
*-4 UP PP
  ((AND (ZEROP DO-THRESH)
        (DIE " DO-THRESH IDENTICALLY ZERO "))
   (AND RPLACINT (SETQ GTEMP1 (IQUOTIENT (CINT CAND)
                                         6)))
   (COND
     ((IGREATERP GTEMP1 INTHRESH)
       (ATTACH CAND CANDS)
       (ATTACH (QUOTE ONCE)
               (RECENTLY-TRIED CAND))
       (CPRIN1 3 " FOR NOW. " CRLF))
     (T (CPRIN1 3 " FOR THE FORSEEABLE FUTURE. " CRLF)))
   (GO P1))
*2 P
(AND RPLACINT (SETQ GTEMP1 &))
*(1)

*(-3 CAND)

(-3 CAND)  ?
*(-2 CAND)

*P
(RPLACINT CAND (SETQ GTEMP1 &))
*OK
PICK-CAND
:OK
u.b.a.
RPLACINT
(RPLACINT broken)
:RETURN 3
RPLACINT = 3
 FOR THE FORSEEABLE FUTURE. 
NEW CAND = (570 CHECK SET-STRUC EXS)
(ANYB-EXS-E-CHECK1 compiling)
(ANYB-EXS-E-CHECK1 (BA1 BA2 BA3 BA4) NIL)
(SET-STRUC-E-DEFN compiling)
(SET-STRUC-E-DEFN (BA1 BA2 BA3) NIL)
(SET-STRUC-E-INTU compiling)
(SET-STRUC-E-INTU (BA1 BA2 BA3) NIL)
(UNORD-OBJ-EXS-E-CHECK1 compiling)
(UNORD-OBJ-EXS-E-CHECK1 (BA1 BA2 BA3 BA4) NIL)
(ANYB-ANYP-E-CHECK2 compiling)
(ANYB-ANYP-E-CHECK2 (BA1 BA2 BA3 BA4) NIL)
(ANYB-EXS-E-CHECK2 compiling)
(ANYB-EXS-E-CHECK2 (BA1 BA2 BA3 BA4) NIL)
(SET-STRUC-INTERSECT-E-ALGS compiling)
(SET-STRUC-INTERSECT-E-ALGS (BA1 BA2 BA3 BA4) NIL)
(SET-STRUC-DIFF-E-ALGS compiling)
(SET-STRUC-DIFF-E-ALGS (BA1 BA2 BA3 BA4) NIL)
(STRUCTURE-MEMB-E-ALGS compiling)
(STRUCTURE-MEMB-E-ALGS (BA1 BA2 BA3 BA4) NIL)
 DO-THRESH REDUCED TO 350
 MUST FIND NEW CANDS 

πππππ*** SUMEX-AIM-TENEX GOING DOWN IN 60 MINUTES. ***
 RUNNING AT 235415  LOAD AV. =   5.05, USED 0:05:03.4 IN 2:43:43


←↑C
@LOGOUT
 LENAT OVER ALLOCATION BY 69 PAGES.